Calculus of functors - PDFSEARCH.IO - Document Search Engine

Calculus of functors
Results: 26

#	Item
11	Chu Spaces from the Representational Viewpoint Vaughan Pratt Department of Computer Science, Stanford University, Stanford, CA[removed]Abstract Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2005-01-09 14:02:29 Calculus Functions and mappings Model theory Chu space Topology Adjoint functors Continuous function Sheaf Functor Mathematics Mathematical analysis Category theory
12	Package ‘dostats’ July 2, 2014 Version 1.3.1 Date 2014-05-28 Title Compute statistics helper functions Author Andrew Redd Add to Reading List Source URL: cran.r-project.org Language: English - Date: 2014-07-02 11:40:06 Functional programming Subroutines Elementary mathematics Adjoint functors Lambda calculus Function Vector space Argument of a function Apply Mathematics Software engineering Algebra
13	A Notation for Comonads Dominic Orchard and Alan Mycroft Computer Laboratory, University of Cambridge {firstname}.{lastname}@cl.cam.ac.uk Author’s copy. To appear in LNCS volume of the post-proceedings of IFL’12. Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2013-03-19 05:47:49 Computing Functional programming Monad Valuation Lambda calculus ALGOL 68 Function Mathematics Adjoint functors Software engineering
14	PDF Document Add to Reading List Source URL: www.math.harvard.edu Language: English - Date: 2011-09-09 10:06:26 Functors Homological algebra Algebraic topology Exact functor Quadratic form Subcategory Homology Calculus of functors Coproduct Category theory Abstract algebra Algebra
15	Sheaf Toposes for Realizability Steven Awodey∗ Philosophy Department Carnegie Mellon University Andrej Bauer† Department of Mathematics and Physics Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-06-01 15:27:23 Lambda calculus Coproduct Topos theory Adjoint functors Topos Product Category Sheaf Limit Category theory Abstract algebra Sheaf theory
16	Functional programming languages Part IV: monadic transformations, monadic programming Xavier Leroy INRIA Rocquencourt MPRI 2-4-2, 2007 Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2007-12-12 03:05:56 Computing Adjoint functors Models of computation Logic in computer science Monad Denotational semantics Lambda calculus Haskell Purely functional Declarative programming Software engineering Functional programming
17	NOTIONS OF ANONYMOUS EXISTENCE ¨ TYPE THEORY IN MARTIN-LOF Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2014-03-31 11:37:40 Model theory Mathematical constructivism Function Lambda calculus Interpretation Type theory Universal quantification Adjoint functors Primitive recursive arithmetic Mathematics Mathematical logic Logic
18	Game semantics in string diagrams Paul-André Melliès Laboratoire Preuves, Programmes, Systèmes Add to Reading List Source URL: www.pps.univ-paris-diderot.fr Language: English - Date: 2012-09-28 07:43:12 Logic in computer science Monoidal categories Lambda calculus Non-classical logic Models of computation Cartesian closed category Adjoint functors Closed monoidal category Sheaf Mathematics Category theory Abstract algebra
19	Computational lambda-calculus and monads Eugenio Moggi∗ Lab. for Found. of Comp. Sci. Add to Reading List Source URL: www.disi.unige.it Language: English - Date: 2002-07-31 04:30:25 Mathematics Monad Symbol Kleisli category Lambda calculus Denotational semantics Normalisation by evaluation Adjoint functors Theoretical computer science Applied mathematics
20	Coeffects: Unified static analysis of context-dependence Tomas Petricek, Dominic Orchard and Alan Mycroft University of Cambridge, UK Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2013-04-30 05:07:23 Adjoint functors Logic in computer science Programming language semantics Lambda calculus Models of computation Monad Simply typed lambda calculus Function Entailment Logic Mathematics Theoretical computer science